Planification du temps de travail et temps vécu

Une gestion réaliste du temps et de l'espace dans les simulations de foules

Résumé Lors de cette présentation, nous montrons l'importance de la prise en compte du temps et de l’espace dans les simulations à agents réactifs, notamment dans les simulations de foules en environnement urbain ou clos. Nous ne cherchons pas tant ici à aborder cette problématique au niveau de chaque agent qu’à faire le lien entre des contraintes spatiales et temporelles portant sur la globali...

Les temps du document et la recherche d'information

This article presents a survey of the interactions between information retrieval and temporal aspects of documents. First the time evoked by the discourse and the historic situation time of the documents themselves are distinguished. The universe of discourse time should be taken into account in the indexation step of information retrieval. It can be processed by named entities extraction and m...

Bornes du temps de réponse des services Web composites

RÉSUMÉ. La qualité de service (QoS) des services Web est un facteur clef de leur réussite. Ceci nécessite le développement de nouvelles méthodes afin de l’analyser. Nous proposons ici des familles de modèles majorant le temps de réponse des services Web composites pour deux types de composition : le « fork and merge » statique et aléatoire. Pour le premier cas, la complexité de résolution des m...

L'Analyse Logique Des Temps Du Passe En Francais: Comment on peut appliquer la distinction entre nom de matiere et nom comptable aux temps du verbe

Dans cet expose j'aimerais prouver qu'il y a des rapports tr~s ~troits entre la s~mantique nominale et la s~mantique verbale. J'essaierai d'appliquer la distinction entre nom comptable (angl. count noun) et nom de mati~re (angl. mass noun) au domaine du verbe. En particulier il sera d~montr~ qu'un verbe (ou syntagme verbal) ~ l'imparfait d~note une entit~ du mSme type que celle d~not~e par un n...

Logique du temps arborescent pour la spécification et la preuve de programmes